The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software

نویسندگان

  • Ricky W. Butler
  • George B. Finelli
چکیده

This paper affirms that the quantification of life-critical software reliability is infeasible using statistical methods whether applied to standard software or fault-tolerant software. The classical methods of estimating reliability are shown to lead to exhorbitant amounts of testing when applied to life-critical software. Reliability growth models are examined and also shown to be incapable of overcoming the need for excessive amounts of testing. The key assumption of software fault tolerance—separately programmed versions fail independently—is shown to be problematic. This assumption cannot be justified by experimentation in the ultrareliability region and subjective arguments in its favor are not sufficiently strong to justify it as an axiom. Also, the implications of the recent multiversion software experiments support this affirmation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A new approach to rank the decision making units in presence of infeasibility in intuitionistic fuzzy environment

Data envelopment analysis (DEA) is a linear programming based methodology to determine the relative performance efficiencies of homogeneous decision making units (DMUs). In real world applications, some input and output datas do not possess crisp/fuzzy essence but they possess intuitionistic fuzzy (IF) essence. So, in this study, we develop an IF BCC (IFBCC) and an IF super efficiency BCC (IFSE...

متن کامل

The Infeasibility of Experimental Quanti cation of Life-Critical Software Reliability

This paper a rms that quanti cation of life-critical software reliability is infeasible using statistical methods whether applied to standard software or faulttolerant software. The key assumption of software fault tolerance|separately programmed versions fail independently|is shown to be problematic. This assumption cannot be justi ed by experimentation in the ultrareliability region and subje...

متن کامل

Systematic integrated approach to quantifying preventive diagnostics in a “smart” transport system

One of the main tasks facing all European countries for the next few years is the creation of the most dynamically organized transport sector. The constant passenger and freight traffic lead to congestions and pollutions at the transport highways, having negative impact on a person. Thus, introduction of new technologies, addressing the interrelated problems of optimizing transport flows and im...

متن کامل

Proposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot

Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE Trans. Software Eng.

دوره 19  شماره 

صفحات  -

تاریخ انتشار 1993